241. Problem solving in automata, languages, and complexity
Author: Du, Dingzhu
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory,، Formal languages,، Computational complexity
Classification :
QA
267
.
D8
2001
242. Programs, machines, and computation : an introduction to the theory of computing
Author: Clark, Keith L.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory,، Formal languages
Classification :
QA
267
.
C54
243. Quantitative assessments of distributed systems :
Author: edited by Dario Bruneo and Salvatore Distefano
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- Evaluation-- Mathematics,Electronic data processing-- Distributed processing-- Mathematical models.,Quantitative research.,System analysis-- Mathematics.
Classification :
QA76
.
9
.
E94
244. Rational series and their languages
Author: Berstel, Jean
Library: Central Library and Documentation Center (Kerman)
Subject: ، Sequential machine theory,، Formal languages,، Power series
Classification :
QA
267
.
5
.
S4
B47
1988
245. Rational series and their languages
Author: / Jean Berstel, Christophe Reutenauer
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Sequential machine theory,Formal languages,Power series
Classification :
QA267
.
5
.
S4
,
B4713
1988
246. Rational series and their languages
Author: Berstel, Jean, 1491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Sequential machine theory,، Formal languages,، Power series
Classification :
QA
267
.
5
.
S4B4713
1988
247. Reasoning web :
Author: Claudia d'Amato, Martin Theobald (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
Classification :
TK5105
.
88815
248. SOFSEM '95:
Author: edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Software engineering.
249. Semigroups, automata, and languages :University of Porto, 20-24, June 1994
Author: edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Semigroups,Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
182
.
S443
1996
250. Semigroups, automata, and languages : University of Porto, 20-24, June 1994
Author: edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Semigroups - Congresses , Machine theory - Congresses , Formal languages - Congresses
Classification :
QA
182
.
S443
1994
251. Semirings, automata, languages
Author: Kuich, Werner, 1491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Machine theory,، Semirings )Mathematics(,، Formal languages
Classification :
QA
267
.
K85
1985
252. Semirings, automata, languages
Author: Kuich, Werner
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Semirings )Mathematics(,، Formal languages
Classification :
QA
267
.
K85
1986
253. Syntactic pattern recognition
Author: / Rafael C. Gonzalez, Michael G. Thomason
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Pattern perception,Formal languages,Machine theory
Classification :
Q
327
.
G65
254. <The> Cambridge Companion to Boccaccio
Author: \ edited by Guyda Armstrong, Rhiannon Daniels, Stephen J. Milner.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Boccaccio, Giovanni,1313-1375-- Criticism and interpretation.,Literature and society-- Italy-- History-- To 1500.,بوکاتچو، جووانی، ۱۳۱۳ -۱۳۷۵م -- نقد و تفسیر,ادبیات -- جنبههای اجتماعی -- ایتالیا -- تاریخ -- از آغاز تا ۱۵۰۰م.
Classification :
PQ4294
.
C34
2015
255. The concept of fuzziness in automata and language theory
Author: Wechler, Wolfgang.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Formal languages,، Set theory
Classification :
QA
267
.
W43
256. The innovation in computing companion :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers-- Technological innovations.,Inventions.,Calculators.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Mathematical instruments.
Classification :
QA76
.
5
.
O74
2018
257. The language of machines :
Author: Robert W. Floyd, Richard Beigel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Formal languages.,Machine theory.,Berechenbarkeit,Computabilidade e modelos de computacao.,Computable functions.,Formal languages.,Formale Sprache,Formale Sprache.,Machine theory.,Maschinensprache,Maschinensprache.,Theoretische Informatik
Classification :
QA267
.
3
.
F56
1994
258. The mathematical theory of context free languages
Author: Ginsburg, Seymour
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Formal languages,، Sequential machine theory
Classification :
QA
267
.
5
.
S4
G5
259. The mathematical theory of context free languages
Author: Ginsburg, Seymour, 7291-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Formal languages,، Sequential machine theory
Classification :
QA
267
.
5
.
S4G5
260. The oretical computer science
Author: Editor Alfredo Desantis,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Machine theory-Congresses,Formal Languages-Congresses
Classification :
QA
.
I8T47
267
1995
